Append the new device config to our internal structure, in device_create. This

will preserve the new device config across migration.

Signed-off-by: Ewan Mellor <ewan@xensource.com>

diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py
index 19047378257906630c12a39cdc80400481ef1983..907c0b187585a7be7ab009f3d00687b86f505a5c 100644 (file)
--- a/tools/python/xen/xend/XendDomainInfo.py
+++ b/tools/python/xen/xend/XendDomainInfo.py
@@ -1272,7 +1272,7 @@ class XendDomainInfo:
         dev_type = sxp.name(dev_config)
         devid = self.createDevice(dev_type, dev_config)
         self.waitForDevice(dev_type, devid)
-#        self.config.append(['device', dev.getConfig()])
+        self.info['device'].append((dev_type, dev_config))
         return self.getDeviceController(dev_type).sxpr(devid)